Reasoning About Effects of Concurrent Actions
نویسندگان
چکیده
> Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A and its translation to allow reasoning about the eeects of concurrent actions. The logic programming formalization of situation calculus with concurrent actions presented in the paper is of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms. <
منابع مشابه
Modeling Actions with Rami£cations in Nondeterministic, Concurrent, and Continuous Domains— And A Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملModeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains Š and a Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملModeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملRepresenting Concurrent Actions in Extended Logic Programming
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP s). The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions prese...
متن کاملReasoning about E ects of Concurrent
Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and deene translations of theories in this language into extended logic programs. The purpose of this paper is to extend the language and the translation to allow reasoning about the eeects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Program.
دوره 31 شماره
صفحات -
تاریخ انتشار 1997